Butler, Ricky: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[American Institute of Aeronautics and Astronautics AIAA AVIATION 2020 FORUM - VIRTUAL EVENT ()] AIAA AVIATION 2020 FORUM - Capacity and Throughput of Urban Air Mobility Vertiports with a First-Come, First-Served Vertiport Scheduling Algorithm

Guerreiro, Nelson M., Hagen, George E., Maddalon, Jeffrey M., Butler, Ricky W.

File:

PDF, 1.98 MB

2

Rapid Expansion of Human Epithelial Stem Cells Suitable for Airway Tissue Engineering

Butler, Colin R., Hynds, Robert E., Gowers, Kate H. C., Lee, Dani Do Hyang, Brown, James M., Crowley, Claire, Teixeira, Vitor H, Smith, Claire M., Urbani, Luca, Hamilton, Nicholas J., Thakrar, Ricky M

Journal:

American Journal of Respiratory and Critical Care Medicine

Year:

2016

Language:

english

File:

PDF, 6.98 MB

english, 2016

3

[American Institute of Aeronautics and Astronautics AIAA Aviation 2019 Forum - Dallas, Texas ()] AIAA Aviation 2019 Forum - Mission Planner Algorithm for Urban Air Mobility â Initial Performance Characterization

Guerreiro, Nelson M., Butler, Ricky W., Maddalon, Jeffrey M., Hagen, George E.

File:

PDF, 1.59 MB

4

Fault-tolerant clock synchronization validation methodology

BUTLER, RICKY W., PALUMBO, DANIEL L., JOHNSON, SALLY C.

Journal:

Journal of Guidance Control and Dynamics

Year:

1987

Language:

english

File:

PDF, 1.27 MB

english, 1987

5

Formal design verification of digital circuitry

Ricky W. Butler, Jon A. Sjogren

Journal:

Reliability Engineering & System Safety

Year:

1991

Language:

english

File:

PDF, 875 KB

english, 1991

6

Formal verification of conflict detection algorithms

César Muñoz, Víctor Carreño, Gilles Dowek, Ricky Butler

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 212 KB

english, 2003

7

[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - The infeasibility of experimental quantification of life-critical software reliability

Butler, Ricky W., Finelli, George B.

Year:

1991

Language:

english

File:

PDF, 1.04 MB

english, 1991

8

[American Institute of Aeronautics and Astronautics 16th AIAA Aviation Technology, Integration, and Operations Conference - Washington, D.C. ()] 16th AIAA Aviation Technology, Integration, and Operations Conference - Toward n-Ship Computation of Trajectories for Shared Airspace

Moerder, Daniel D., Butler, Ricky W., Rothhaar, Paul M.

Language:

english

File:

PDF, 947 KB

english

9

AIP Conference Proceedings [AIP SHOCK COMPRESSION OF CONDENSED MATTER - 2007: Proceedings of the Conference of the American Physical Society Topical Group on Shock Compression of Condensed Matter - Waikoloa (Hawaii) (24–29 June 2007)] - SHOCK INDUCED EQUATION OF STATE OF POLYVINYLCHLORIDE

Butler, S., Millett, J. C. F., Bourne, N. K., Elert, Mark, Furnish, Michael D., Chau, Ricky, Holmes, Neil, Nguyen, Jeffrey

Year:

2008

Language:

english

File:

PDF, 602 KB

english, 2008

10

[IEEE 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) - Williamsburg, VA (2012.10.14-2012.10.18)] 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) - The search for effective algorithms for recovery from loss of separation

Butler, Ricky, Hagen, George, Maddalon, Jeffrey, Munoz, Cesar, Narkawicz, Anthony

Year:

2012

Language:

english

File:

PDF, 2.57 MB

english, 2012

11

Smoking Behaviors and Arterial Stiffness Measured by Pulse Wave Velocity in Older Adults: The Atherosclerosis Risk in Communities (ARIC) Study

Camplain, Ricky, Meyer, Michelle L., Tanaka, Hirofumi, Palta, Priya, Agarwal, Sunil K., Aguilar, David, Butler, Kenneth R., Heiss, Gerardo

Journal:

American Journal of Hypertension

Year:

2015

Language:

english

File:

PDF, 478 KB

english, 2015

12

The infeasibility of experimental quantification of life-critical software reliability

Butler, Ricky W., Finelli, George B.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1991

Language:

english

File:

PDF, 1.04 MB

english, 1991

13

An Abstract Language for Specifying Markov Reliability Models

Butler, Ricky W.

Journal:

IEEE Transactions on Reliability

Year:

1986

Language:

english

File:

PDF, 1.02 MB

english, 1986

14

[American Institute of Aeronautics and Astronautics 17th AIAA Aviation Technology, Integration, and Operations Conference - Denver, Colorado ()] 17th AIAA Aviation Technology, Integration, and Operations Conference - Prototype Tool and Focus Group Evaluation for an Advanced Trajectory-Based Operations Concept

Guerreiro, Nelson M., Jones, Denise R., Barmore, Bryan, Butler, Ricky W., Hagen, George E., Maddalon, Jeffrey M., Ahmad, Nashat N.

Language:

english

File:

PDF, 2.56 MB

english

15

A Matter of Comprehensive Informed Consent

Dalwadi, Shraddha M., Savjani, Ricky R., Bernicker, Eric H., Butler, Edward B., Teh, Bin S., Farach, Andrew M.

Journal:

American Journal of Clinical Oncology

Year:

2019

Language:

english

File:

PDF, 137 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски